Peirce’s Convergence Theory of Truth Redux

Convergence to the truth and nothing but the truth

Kripke’s Theory of Truth

(1) If y is a subset of some member of A, then y is a subset of ∪A. I.e., ∃z(z ∈ A ∧ y ⊆ z)→ y ⊆ ∪A. A fortioiri, if z ∈ A, then z ⊆ ∪A. (2) If y is a superset of every member of A, then y is a superset of ∪A. I.e.,∀z(z ∈ A → z ⊆ y) → ∩A ⊆ y. A fortiori, if z ∈ A, then ∩A ⊆ z. (3) If y is a subset of every member of A, then y is a subset of ∩A. I.e.,∀z(z ∈ A→ y ⊆ z)→ y ⊆ ∩A. (4) If y is a super...

A General Theory of (Identification in the) Limit and Convergence (to the Truth)

I propose a new definition of identification in the limit (also called convergence to the truth), as a new success criterion that is meant to complement, rather than replacing, the classic definition due to Gold (1967). The new definition is designed to explain how it is possible to have successful learning in a kind of scenario that Gold’s classic account ignores—the kind of scenario in which ...

Truth and Theory

Truth , Disquotation , and Expression On McGinn ’ s Theory of Truth

In Logical Properties, Colin McGinn offers a new theory of truth, which he describes as “thick disquotationalism.” In keeping with wider theme of the book, truth emerges as conceptually primitive. Echoing Moore, it is simple and unanalyzable. Though truth cannot be analyzed, in the sense of giving a conceptual decomposition, McGinn argues that truth can be defined. A non-circular statement of i...